#ifndef __DRV_SYS_TIME_H
#define __DRV_SYS_TIME_H

#include <stdint.h>

int drv_sys_time_init(void);

uint64_t drv_sys_time_get_time_ms(void);
uint64_t drv_sys_time_pase_time_ms(uint64_t cur_time);

#endif
